1. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده: Hermes, Hans.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
2. Enumerability, decidability, computability. An introduction to the theory of recursive functions
پدیدآورنده: Hermes, Hans.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
3. Enumerability decidability computability : an introduction to the theory of recursive functions
پدیدآورنده: Hans Hermes; translated by G.T. Hermann and O. Plassmann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
4. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده: / by Hans Hermes. Translated by G.T Herman and O. Plassmann
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursive functions,Algorithms,Godel's theorem,Computable functions
رده :
QA
248
.
5
.
H413
